(0
 (
  ("(x 2)" 3 8)
  ("(x 3)" 8 21)
  ("(x 4)" 21 27)
  ("(x 5)" 27 32)
  ("(x 6)" 32 60)
  ("(x 5)" 60 64)
  ("(x 4)" 64 68)
  ("(x 3)" 68 72)
  ("(x 2)" 72 158)
  ("(x 3)" 158 163)
  ("(x 4)" 163 166)
  ("(x 5)" 166 170)
  ("(x 6)" 170 186)
  ("(x down)" 4 48)
  ("(x stable)" 48 49)
  ("(x up)" 49 92)
  ("(x stable)" 92 122)
  ("(x down)" 122 136)
  ("(x stable)" 136 151)
  ("(x down)" 151 185)
  ("(x up)" 185 186)
  ("(y 2)" 3 13)
  ("(y 1)" 13 30)
  ("(y 2)" 30 46)
  ("(y 3)" 46 56)
  ("(y 4)" 56 69)
  ("(y 3)" 69 82)
  ("(y 2)" 82 127)
  ("(y 3)" 127 133)
  ("(y 4)" 133 137)
  ("(y 5)" 137 143)
  ("(y 6)" 143 186)
  ("(y up)" 4 16)
  ("(y stable)" 16 28)
  ("(y down)" 28 63)
  ("(y stable)" 63 64)
  ("(y up)" 64 100)
  ("(y stable)" 100 116)
  ("(y down)" 116 162)
  ("(y stable)" 162 164)
  ("(y up)" 164 186)
 ))
(1
 (
  ("(x 1)" 3 22)
  ("(x 2)" 22 30)
  ("(x 3)" 30 34)
  ("(x 4)" 34 37)
  ("(x 5)" 37 42)
  ("(x 6)" 42 70)
  ("(x 5)" 70 74)
  ("(x 4)" 74 77)
  ("(x 3)" 77 81)
  ("(x 2)" 81 148)
  ("(x 3)" 148 153)
  ("(x 4)" 153 156)
  ("(x 5)" 156 160)
  ("(x 6)" 160 173)
  ("(x stable)" 4 17)
  ("(x down)" 17 60)
  ("(x up)" 60 93)
  ("(x stable)" 93 110)
  ("(x up)" 110 117)
  ("(x down)" 117 127)
  ("(x stable)" 127 133)
  ("(x down)" 133 171)
  ("(x stable)" 171 172)
  ("(x up)" 172 173)
  ("(y 2)" 3 54)
  ("(y 3)" 54 59)
  ("(y 4)" 59 74)
  ("(y 3)" 74 81)
  ("(y 2)" 81 95)
  ("(y 1)" 95 112)
  ("(y 2)" 112 120)
  ("(y 3)" 120 123)
  ("(y 4)" 123 127)
  ("(y 5)" 127 132)
  ("(y 6)" 132 173)
  ("(y stable)" 4 17)
  ("(y up)" 17 36)
  ("(y stable)" 36 40)
  ("(y down)" 40 67)
  ("(y stable)" 67 68)
  ("(y up)" 68 100)
  ("(y stable)" 100 109)
  ("(y down)" 109 152)
  ("(y stable)" 152 157)
  ("(y up)" 157 173)
 ))
(2
 (
  ("(x 1)" 3 17)
  ("(x 2)" 17 25)
  ("(x 3)" 25 30)
  ("(x 4)" 30 35)
  ("(x 5)" 35 42)
  ("(x 6)" 42 67)
  ("(x 5)" 67 71)
  ("(x 4)" 71 74)
  ("(x 3)" 74 78)
  ("(x 2)" 78 144)
  ("(x 3)" 144 149)
  ("(x 4)" 149 152)
  ("(x 5)" 152 156)
  ("(x 6)" 156 171)
  ("(x up)" 4 8)
  ("(x stable)" 8 12)
  ("(x down)" 12 57)
  ("(x stable)" 57 58)
  ("(x up)" 58 87)
  ("(x stable)" 87 112)
  ("(x up)" 112 123)
  ("(x stable)" 123 126)
  ("(x up)" 126 131)
  ("(x stable)" 131 133)
  ("(x down)" 133 171)
  ("(y 2)" 3 51)
  ("(y 3)" 51 57)
  ("(y 4)" 57 75)
  ("(y 3)" 75 82)
  ("(y 2)" 82 119)
  ("(y 3)" 119 122)
  ("(y 4)" 122 125)
  ("(y 5)" 125 129)
  ("(y 6)" 129 171)
  ("(y stable)" 4 16)
  ("(y up)" 16 23)
  ("(y stable)" 23 30)
  ("(y down)" 30 66)
  ("(y stable)" 66 67)
  ("(y up)" 67 99)
  ("(y stable)" 99 111)
  ("(y down)" 111 144)
  ("(y stable)" 144 151)
  ("(y up)" 151 171)
 ))
(3
 (
  ("(x 1)" 3 5)
  ("(x 2)" 5 12)
  ("(x 3)" 12 16)
  ("(x 4)" 16 19)
  ("(x 5)" 19 24)
  ("(x 6)" 24 42)
  ("(x 5)" 42 47)
  ("(x 4)" 47 50)
  ("(x 3)" 50 54)
  ("(x 2)" 54 66)
  ("(x 1)" 66 104)
  ("(x 2)" 104 110)
  ("(x 3)" 110 113)
  ("(x 4)" 113 116)
  ("(x 5)" 116 120)
  ("(x 6)" 120 140)
  ("(x down)" 4 35)
  ("(x up)" 35 68)
  ("(x stable)" 68 85)
  ("(x up)" 85 95)
  ("(x stable)" 95 96)
  ("(x down)" 96 137)
  ("(x stable)" 137 139)
  ("(x up)" 139 140)
  ("(y 2)" 3 36)
  ("(y 3)" 36 57)
  ("(y 2)" 57 92)
  ("(y 3)" 92 95)
  ("(y 4)" 95 99)
  ("(y 5)" 99 104)
  ("(y 6)" 104 140)
  ("(y up)" 4 15)
  ("(y stable)" 15 20)
  ("(y down)" 20 46)
  ("(y stable)" 46 47)
  ("(y up)" 47 76)
  ("(y stable)" 76 80)
  ("(y down)" 80 120)
  ("(y stable)" 120 121)
  ("(y up)" 121 140)
 ))
(4
 (
  ("(x 2)" 3 9)
  ("(x 3)" 9 17)
  ("(x 4)" 17 22)
  ("(x 5)" 22 29)
  ("(x 6)" 29 52)
  ("(x 5)" 52 57)
  ("(x 4)" 57 60)
  ("(x 3)" 60 63)
  ("(x 2)" 63 115)
  ("(x 1)" 115 132)
  ("(x 2)" 132 137)
  ("(x 3)" 137 140)
  ("(x 4)" 140 143)
  ("(x 5)" 143 147)
  ("(x 6)" 147 162)
  ("(x down)" 4 42)
  ("(x stable)" 42 43)
  ("(x up)" 43 73)
  ("(x stable)" 73 75)
  ("(x down)" 75 87)
  ("(x stable)" 87 104)
  ("(x up)" 104 125)
  ("(x stable)" 125 127)
  ("(x down)" 127 158)
  ("(x up)" 158 162)
  ("(y 2)" 3 40)
  ("(y 3)" 40 47)
  ("(y 4)" 47 60)
  ("(y 3)" 60 70)
  ("(y 2)" 70 110)
  ("(y 3)" 110 115)
  ("(y 4)" 115 119)
  ("(y 5)" 119 123)
  ("(y 6)" 123 162)
  ("(y up)" 4 22)
  ("(y stable)" 22 27)
  ("(y down)" 27 54)
  ("(y stable)" 54 55)
  ("(y up)" 55 87)
  ("(y stable)" 87 100)
  ("(y down)" 100 140)
  ("(y up)" 140 161)
  ("(y stable)" 161 162)
 ))
(5
 (
  ("(x 2)" 3 10)
  ("(x 3)" 10 14)
  ("(x 4)" 14 17)
  ("(x 5)" 17 21)
  ("(x 6)" 21 42)
  ("(x 5)" 42 46)
  ("(x 4)" 46 49)
  ("(x 3)" 49 53)
  ("(x 2)" 53 82)
  ("(x 1)" 82 102)
  ("(x 2)" 102 106)
  ("(x 3)" 106 109)
  ("(x 4)" 109 112)
  ("(x 5)" 112 119)
  ("(x 6)" 119 132)
  ("(x down)" 4 32)
  ("(x stable)" 32 33)
  ("(x up)" 33 61)
  ("(x stable)" 61 77)
  ("(x up)" 77 95)
  ("(x stable)" 95 96)
  ("(x down)" 96 129)
  ("(x stable)" 129 131)
  ("(x up)" 131 132)
  ("(y 2)" 3 5)
  ("(y 1)" 5 26)
  ("(y 2)" 26 33)
  ("(y 3)" 33 39)
  ("(y 4)" 39 49)
  ("(y 3)" 49 57)
  ("(y 2)" 57 86)
  ("(y 3)" 86 89)
  ("(y 4)" 89 93)
  ("(y 5)" 93 98)
  ("(y 6)" 98 132)
  ("(y up)" 4 19)
  ("(y down)" 19 44)
  ("(y stable)" 44 45)
  ("(y up)" 45 71)
  ("(y stable)" 71 77)
  ("(y down)" 77 112)
  ("(y stable)" 112 113)
  ("(y up)" 113 132)
 ))
(6
 (
  ("(x 2)" 3 9)
  ("(x 3)" 9 15)
  ("(x 4)" 15 19)
  ("(x 5)" 19 24)
  ("(x 6)" 24 49)
  ("(x 5)" 49 53)
  ("(x 4)" 53 56)
  ("(x 3)" 56 59)
  ("(x 2)" 59 102)
  ("(x 1)" 102 118)
  ("(x 2)" 118 130)
  ("(x 3)" 130 136)
  ("(x 4)" 136 140)
  ("(x 5)" 140 144)
  ("(x 6)" 144 155)
  ("(x down)" 4 39)
  ("(x up)" 39 67)
  ("(x stable)" 67 95)
  ("(x up)" 95 111)
  ("(x down)" 111 155)
  ("(y 2)" 3 7)
  ("(y 1)" 7 23)
  ("(y 2)" 23 34)
  ("(y 3)" 34 42)
  ("(y 4)" 42 53)
  ("(y 3)" 53 62)
  ("(y 2)" 62 103)
  ("(y 3)" 103 107)
  ("(y 4)" 107 110)
  ("(y 5)" 110 114)
  ("(y 6)" 114 155)
  ("(y up)" 4 16)
  ("(y stable)" 16 18)
  ("(y down)" 18 48)
  ("(y stable)" 48 49)
  ("(y up)" 49 79)
  ("(y stable)" 79 93)
  ("(y down)" 93 129)
  ("(y stable)" 129 134)
  ("(y up)" 134 155)
 ))
(7
 (
  ("(x 2)" 3 21)
  ("(x 3)" 21 61)
  ("(x 4)" 61 68)
  ("(x 5)" 68 75)
  ("(x 6)" 75 100)
  ("(x 5)" 100 103)
  ("(x 4)" 103 105)
  ("(x 3)" 105 108)
  ("(x 2)" 108 150)
  ("(x 1)" 150 169)
  ("(x 2)" 169 174)
  ("(x 3)" 174 178)
  ("(x 4)" 178 181)
  ("(x 5)" 181 186)
  ("(x 6)" 186 205)
  ("(x stable)" 4 11)
  ("(x down)" 11 31)
  ("(x stable)" 31 55)
  ("(x down)" 55 90)
  ("(x up)" 90 118)
  ("(x stable)" 118 148)
  ("(x up)" 148 162)
  ("(x stable)" 162 163)
  ("(x down)" 163 200)
  ("(x stable)" 200 202)
  ("(x up)" 202 205)
  ("(y 2)" 3 81)
  ("(y 3)" 81 86)
  ("(y 4)" 86 93)
  ("(y 5)" 93 103)
  ("(y 4)" 103 111)
  ("(y 3)" 111 119)
  ("(y 2)" 119 151)
  ("(y 3)" 151 156)
  ("(y 4)" 156 159)
  ("(y 5)" 159 164)
  ("(y 6)" 164 205)
  ("(y up)" 4 28)
  ("(y stable)" 28 60)
  ("(y up)" 60 67)
  ("(y down)" 67 99)
  ("(y up)" 99 139)
  ("(y stable)" 139 143)
  ("(y down)" 143 181)
  ("(y stable)" 181 183)
  ("(y up)" 183 205)
 ))
(8
 (
  ("(x 2)" 3 10)
  ("(x 3)" 10 16)
  ("(x 4)" 16 21)
  ("(x 5)" 21 27)
  ("(x 6)" 27 48)
  ("(x 5)" 48 52)
  ("(x 4)" 52 55)
  ("(x 3)" 55 58)
  ("(x 2)" 58 67)
  ("(x 1)" 67 70)
  ("(x 2)" 70 99)
  ("(x 1)" 99 110)
  ("(x 2)" 110 126)
  ("(x 3)" 126 131)
  ("(x 4)" 131 134)
  ("(x 5)" 134 138)
  ("(x 6)" 138 153)
  ("(x down)" 4 38)
  ("(x up)" 38 68)
  ("(x stable)" 68 70)
  ("(x down)" 70 77)
  ("(x stable)" 77 86)
  ("(x down)" 86 92)
  ("(x stable)" 92 93)
  ("(x up)" 93 105)
  ("(x stable)" 105 106)
  ("(x down)" 106 151)
  ("(x stable)" 151 152)
  ("(x up)" 152 153)
  ("(y 2)" 3 8)
  ("(y 1)" 8 26)
  ("(y 2)" 26 36)
  ("(y 3)" 36 44)
  ("(y 4)" 44 54)
  ("(y 3)" 54 63)
  ("(y 2)" 63 101)
  ("(y 3)" 101 105)
  ("(y 4)" 105 110)
  ("(y 5)" 110 115)
  ("(y 6)" 115 153)
  ("(y up)" 4 18)
  ("(y stable)" 18 21)
  ("(y down)" 21 50)
  ("(y up)" 50 82)
  ("(y stable)" 82 83)
  ("(y up)" 83 89)
  ("(y stable)" 89 90)
  ("(y down)" 90 136)
  ("(y up)" 136 153)
 ))
(9
 (
  ("(x 2)" 3 5)
  ("(x 3)" 5 10)
  ("(x 4)" 10 14)
  ("(x 5)" 14 18)
  ("(x 6)" 18 41)
  ("(x 5)" 41 45)
  ("(x 4)" 45 49)
  ("(x 3)" 49 55)
  ("(x 2)" 55 92)
  ("(x 1)" 92 117)
  ("(x 2)" 117 123)
  ("(x 3)" 123 126)
  ("(x 4)" 126 128)
  ("(x 5)" 128 131)
  ("(x 6)" 131 143)
  ("(x down)" 4 31)
  ("(x stable)" 31 32)
  ("(x up)" 32 62)
  ("(x stable)" 62 82)
  ("(x up)" 82 104)
  ("(x down)" 104 142)
  ("(x stable)" 142 143)
  ("(y 2)" 3 33)
  ("(y 3)" 33 53)
  ("(y 2)" 53 93)
  ("(y 3)" 93 96)
  ("(y 4)" 96 100)
  ("(y 5)" 100 105)
  ("(y 6)" 105 143)
  ("(y up)" 4 12)
  ("(y stable)" 12 20)
  ("(y down)" 20 43)
  ("(y stable)" 43 44)
  ("(y up)" 44 75)
  ("(y stable)" 75 81)
  ("(y down)" 81 121)
  ("(y stable)" 121 123)
  ("(y up)" 123 140)
  ("(y stable)" 140 143)
 ))
(10
 (
  ("(x 2)" 3 15)
  ("(x 3)" 15 23)
  ("(x 4)" 23 28)
  ("(x 5)" 28 34)
  ("(x 6)" 34 59)
  ("(x 5)" 59 64)
  ("(x 4)" 64 68)
  ("(x 3)" 68 73)
  ("(x 2)" 73 123)
  ("(x 1)" 123 139)
  ("(x 2)" 139 148)
  ("(x 3)" 148 153)
  ("(x 4)" 153 156)
  ("(x 5)" 156 159)
  ("(x 6)" 159 174)
  ("(x down)" 4 48)
  ("(x up)" 48 89)
  ("(x stable)" 89 90)
  ("(x down)" 90 97)
  ("(x stable)" 97 102)
  ("(x down)" 102 114)
  ("(x stable)" 114 115)
  ("(x up)" 115 132)
  ("(x down)" 132 170)
  ("(x up)" 170 174)
  ("(y 2)" 3 21)
  ("(y 1)" 21 35)
  ("(y 2)" 35 47)
  ("(y 3)" 47 54)
  ("(y 4)" 54 67)
  ("(y 3)" 67 82)
  ("(y 2)" 82 118)
  ("(y 3)" 118 124)
  ("(y 4)" 124 128)
  ("(y 5)" 128 132)
  ("(y 6)" 132 174)
  ("(y up)" 4 24)
  ("(y stable)" 24 33)
  ("(y down)" 33 61)
  ("(y up)" 61 98)
  ("(y stable)" 98 104)
  ("(y down)" 104 149)
  ("(y stable)" 149 150)
  ("(y up)" 150 174)
 ))
(11
 (
  ("(x 2)" 3 9)
  ("(x 3)" 9 15)
  ("(x 4)" 15 19)
  ("(x 5)" 19 27)
  ("(x 6)" 27 48)
  ("(x 5)" 48 52)
  ("(x 4)" 52 56)
  ("(x 3)" 56 61)
  ("(x 2)" 61 103)
  ("(x 1)" 103 124)
  ("(x 2)" 124 127)
  ("(x 3)" 127 129)
  ("(x 4)" 129 131)
  ("(x 5)" 131 135)
  ("(x 6)" 135 150)
  ("(x down)" 4 39)
  ("(x up)" 39 67)
  ("(x stable)" 67 69)
  ("(x down)" 69 78)
  ("(x stable)" 78 94)
  ("(x up)" 94 115)
  ("(x stable)" 115 116)
  ("(x down)" 116 148)
  ("(x up)" 148 150)
  ("(y 2)" 3 15)
  ("(y 1)" 15 31)
  ("(y 2)" 31 39)
  ("(y 3)" 39 46)
  ("(y 4)" 46 57)
  ("(y 3)" 57 65)
  ("(y 2)" 65 99)
  ("(y 3)" 99 103)
  ("(y 4)" 103 107)
  ("(y 5)" 107 112)
  ("(y 6)" 112 150)
  ("(y up)" 4 24)
  ("(y stable)" 24 26)
  ("(y down)" 26 51)
  ("(y stable)" 51 52)
  ("(y up)" 52 84)
  ("(y stable)" 84 89)
  ("(y down)" 89 127)
  ("(y up)" 127 150)
 ))
(12
 (
  ("(x 2)" 3 9)
  ("(x 3)" 9 15)
  ("(x 4)" 15 19)
  ("(x 5)" 19 24)
  ("(x 6)" 24 44)
  ("(x 5)" 44 47)
  ("(x 4)" 47 51)
  ("(x 3)" 51 56)
  ("(x 2)" 56 95)
  ("(x 1)" 95 115)
  ("(x 2)" 115 120)
  ("(x 3)" 120 122)
  ("(x 4)" 122 125)
  ("(x 5)" 125 130)
  ("(x 6)" 130 146)
  ("(x down)" 4 35)
  ("(x up)" 35 66)
  ("(x stable)" 66 88)
  ("(x up)" 88 105)
  ("(x stable)" 105 107)
  ("(x down)" 107 140)
  ("(x stable)" 140 145)
  ("(x up)" 145 146)
  ("(y 2)" 3 8)
  ("(y 1)" 8 26)
  ("(y 2)" 26 34)
  ("(y 3)" 34 40)
  ("(y 4)" 40 48)
  ("(y 3)" 48 56)
  ("(y 2)" 56 94)
  ("(y 3)" 94 97)
  ("(y 4)" 97 101)
  ("(y 5)" 101 105)
  ("(y 6)" 105 146)
  ("(y up)" 4 18)
  ("(y stable)" 18 19)
  ("(y down)" 19 44)
  ("(y stable)" 44 45)
  ("(y up)" 45 78)
  ("(y stable)" 78 84)
  ("(y down)" 84 120)
  ("(y stable)" 120 121)
  ("(y up)" 121 146)
 ))
(13
 (
  ("(x 3)" 3 16)
  ("(x 4)" 16 21)
  ("(x 5)" 21 27)
  ("(x 6)" 27 52)
  ("(x 5)" 52 57)
  ("(x 4)" 57 61)
  ("(x 3)" 61 68)
  ("(x 2)" 68 109)
  ("(x 1)" 109 132)
  ("(x 2)" 132 134)
  ("(x 3)" 134 136)
  ("(x 4)" 136 138)
  ("(x 5)" 138 142)
  ("(x 6)" 142 154)
  ("(x stable)" 4 8)
  ("(x down)" 8 41)
  ("(x stable)" 41 42)
  ("(x up)" 42 74)
  ("(x stable)" 74 78)
  ("(x down)" 78 85)
  ("(x stable)" 85 99)
  ("(x up)" 99 123)
  ("(x stable)" 123 124)
  ("(x down)" 124 149)
  ("(x stable)" 149 153)
  ("(x up)" 153 154)
  ("(y 2)" 3 14)
  ("(y 1)" 14 29)
  ("(y 2)" 29 41)
  ("(y 3)" 41 49)
  ("(y 4)" 49 62)
  ("(y 3)" 62 73)
  ("(y 2)" 73 84)
  ("(y 1)" 84 95)
  ("(y 2)" 95 104)
  ("(y 3)" 104 108)
  ("(y 4)" 108 112)
  ("(y 5)" 112 116)
  ("(y 6)" 116 154)
  ("(y stable)" 4 5)
  ("(y up)" 5 18)
  ("(y stable)" 18 27)
  ("(y down)" 27 55)
  ("(y stable)" 55 57)
  ("(y up)" 57 87)
  ("(y stable)" 87 93)
  ("(y down)" 93 132)
  ("(y up)" 132 147)
  ("(y stable)" 147 154)
 ))
(14
 (
  ("(x 2)" 3 15)
  ("(x 3)" 15 19)
  ("(x 4)" 19 22)
  ("(x 5)" 22 26)
  ("(x 6)" 26 50)
  ("(x 5)" 50 55)
  ("(x 4)" 55 58)
  ("(x 3)" 58 63)
  ("(x 2)" 63 108)
  ("(x 1)" 108 125)
  ("(x 2)" 125 130)
  ("(x 3)" 130 133)
  ("(x 4)" 133 136)
  ("(x 5)" 136 140)
  ("(x 6)" 140 152)
  ("(x stable)" 4 5)
  ("(x down)" 5 40)
  ("(x up)" 40 73)
  ("(x stable)" 73 99)
  ("(x up)" 99 119)
  ("(x down)" 119 150)
  ("(x stable)" 150 151)
  ("(x up)" 151 152)
  ("(y 2)" 3 16)
  ("(y 1)" 16 28)
  ("(y 2)" 28 37)
  ("(y 3)" 37 42)
  ("(y 4)" 42 61)
  ("(y 3)" 61 67)
  ("(y 2)" 67 106)
  ("(y 3)" 106 109)
  ("(y 4)" 109 113)
  ("(y 5)" 113 117)
  ("(y 6)" 117 152)
  ("(y up)" 4 21)
  ("(y stable)" 21 25)
  ("(y down)" 25 52)
  ("(y stable)" 52 53)
  ("(y up)" 53 87)
  ("(y stable)" 87 97)
  ("(y down)" 97 130)
  ("(y stable)" 130 131)
  ("(y up)" 131 152)
 ))
(15
 (
  ("(x 2)" 3 8)
  ("(x 3)" 8 16)
  ("(x 4)" 16 21)
  ("(x 5)" 21 26)
  ("(x 6)" 26 47)
  ("(x 5)" 47 52)
  ("(x 4)" 52 56)
  ("(x 3)" 56 60)
  ("(x 2)" 60 105)
  ("(x 1)" 105 127)
  ("(x 2)" 127 132)
  ("(x 3)" 132 135)
  ("(x 4)" 135 138)
  ("(x 5)" 138 141)
  ("(x 6)" 141 158)
  ("(x down)" 4 38)
  ("(x stable)" 38 39)
  ("(x up)" 39 69)
  ("(x stable)" 69 83)
  ("(x down)" 83 90)
  ("(x stable)" 90 96)
  ("(x up)" 96 118)
  ("(x stable)" 118 119)
  ("(x down)" 119 151)
  ("(x stable)" 151 153)
  ("(x up)" 153 158)
  ("(y 2)" 3 36)
  ("(y 3)" 36 45)
  ("(y 4)" 45 52)
  ("(y 3)" 52 61)
  ("(y 2)" 61 79)
  ("(y 1)" 79 95)
  ("(y 2)" 95 103)
  ("(y 3)" 103 107)
  ("(y 4)" 107 111)
  ("(y 5)" 111 116)
  ("(y 6)" 116 158)
  ("(y up)" 4 15)
  ("(y stable)" 15 22)
  ("(y down)" 22 49)
  ("(y up)" 49 83)
  ("(y stable)" 83 93)
  ("(y down)" 93 132)
  ("(y stable)" 132 133)
  ("(y up)" 133 149)
  ("(y stable)" 149 158)
 ))
(16
 (
  ("(x 2)" 3 12)
  ("(x 3)" 12 18)
  ("(x 4)" 18 22)
  ("(x 5)" 22 26)
  ("(x 6)" 26 54)
  ("(x 5)" 54 58)
  ("(x 4)" 58 62)
  ("(x 3)" 62 67)
  ("(x 2)" 67 115)
  ("(x 1)" 115 136)
  ("(x 2)" 136 141)
  ("(x 3)" 141 144)
  ("(x 4)" 144 147)
  ("(x 5)" 147 154)
  ("(x 6)" 154 165)
  ("(x down)" 4 41)
  ("(x stable)" 41 42)
  ("(x up)" 42 77)
  ("(x stable)" 77 106)
  ("(x up)" 106 127)
  ("(x stable)" 127 128)
  ("(x down)" 128 161)
  ("(x up)" 161 165)
  ("(y 2)" 3 6)
  ("(y 1)" 6 29)
  ("(y 2)" 29 40)
  ("(y 3)" 40 46)
  ("(y 4)" 46 61)
  ("(y 3)" 61 71)
  ("(y 2)" 71 112)
  ("(y 3)" 112 116)
  ("(y 4)" 116 119)
  ("(y 5)" 119 124)
  ("(y 6)" 124 165)
  ("(y up)" 4 19)
  ("(y stable)" 19 22)
  ("(y down)" 22 54)
  ("(y stable)" 54 55)
  ("(y up)" 55 86)
  ("(y stable)" 86 103)
  ("(y down)" 103 139)
  ("(y stable)" 139 140)
  ("(y up)" 140 165)
 ))
(17
 (
  ("(x 2)" 3 9)
  ("(x 3)" 9 14)
  ("(x 4)" 14 18)
  ("(x 5)" 18 23)
  ("(x 6)" 23 45)
  ("(x 5)" 45 49)
  ("(x 4)" 49 52)
  ("(x 3)" 52 56)
  ("(x 2)" 56 91)
  ("(x 1)" 91 113)
  ("(x 2)" 113 120)
  ("(x 3)" 120 124)
  ("(x 4)" 124 127)
  ("(x 5)" 127 131)
  ("(x 6)" 131 148)
  ("(x down)" 4 33)
  ("(x stable)" 33 35)
  ("(x up)" 35 64)
  ("(x stable)" 64 73)
  ("(x down)" 73 80)
  ("(x stable)" 80 83)
  ("(x up)" 83 103)
  ("(x stable)" 103 104)
  ("(x down)" 104 141)
  ("(x stable)" 141 143)
  ("(x up)" 143 148)
  ("(y 2)" 3 8)
  ("(y 1)" 8 22)
  ("(y 2)" 22 32)
  ("(y 3)" 32 42)
  ("(y 4)" 42 48)
  ("(y 3)" 48 56)
  ("(y 2)" 56 66)
  ("(y 1)" 66 86)
  ("(y 2)" 86 93)
  ("(y 3)" 93 96)
  ("(y 4)" 96 100)
  ("(y 5)" 100 104)
  ("(y 6)" 104 148)
  ("(y up)" 4 13)
  ("(y stable)" 13 19)
  ("(y down)" 19 45)
  ("(y stable)" 45 46)
  ("(y up)" 46 76)
  ("(y stable)" 76 81)
  ("(y down)" 81 118)
  ("(y stable)" 118 119)
  ("(y up)" 119 148)
 ))
(18
 (
  ("(x 2)" 3 8)
  ("(x 3)" 8 14)
  ("(x 4)" 14 20)
  ("(x 5)" 20 26)
  ("(x 6)" 26 48)
  ("(x 5)" 48 52)
  ("(x 4)" 52 56)
  ("(x 3)" 56 61)
  ("(x 2)" 61 94)
  ("(x 1)" 94 119)
  ("(x 2)" 119 124)
  ("(x 3)" 124 127)
  ("(x 4)" 127 130)
  ("(x 5)" 130 134)
  ("(x 6)" 134 153)
  ("(x down)" 4 38)
  ("(x stable)" 38 39)
  ("(x up)" 39 72)
  ("(x stable)" 72 89)
  ("(x up)" 89 107)
  ("(x stable)" 107 108)
  ("(x down)" 108 145)
  ("(x stable)" 145 148)
  ("(x up)" 148 153)
  ("(y 2)" 3 10)
  ("(y 1)" 10 26)
  ("(y 2)" 26 35)
  ("(y 3)" 35 41)
  ("(y 4)" 41 54)
  ("(y 3)" 54 61)
  ("(y 2)" 61 70)
  ("(y 1)" 70 91)
  ("(y 2)" 91 96)
  ("(y 3)" 96 100)
  ("(y 4)" 100 103)
  ("(y 5)" 103 108)
  ("(y 6)" 108 153)
  ("(y up)" 4 19)
  ("(y down)" 19 48)
  ("(y up)" 48 80)
  ("(y stable)" 80 87)
  ("(y down)" 87 124)
  ("(y stable)" 124 126)
  ("(y up)" 126 147)
  ("(y stable)" 147 153)
 ))
(19
 (
  ("(x 3)" 3 13)
  ("(x 4)" 13 18)
  ("(x 5)" 18 24)
  ("(x 6)" 24 44)
  ("(x 5)" 44 49)
  ("(x 4)" 49 53)
  ("(x 3)" 53 56)
  ("(x 2)" 56 95)
  ("(x 1)" 95 116)
  ("(x 2)" 116 121)
  ("(x 3)" 121 124)
  ("(x 4)" 124 127)
  ("(x 5)" 127 131)
  ("(x 6)" 131 147)
  ("(x down)" 4 36)
  ("(x up)" 36 65)
  ("(x stable)" 65 68)
  ("(x down)" 68 75)
  ("(x stable)" 75 89)
  ("(x up)" 89 107)
  ("(x down)" 107 147)
  ("(y 2)" 3 9)
  ("(y 1)" 9 29)
  ("(y 2)" 29 36)
  ("(y 3)" 36 44)
  ("(y 4)" 44 52)
  ("(y 3)" 52 61)
  ("(y 2)" 61 93)
  ("(y 3)" 93 97)
  ("(y 4)" 97 101)
  ("(y 5)" 101 107)
  ("(y 6)" 107 147)
  ("(y up)" 4 21)
  ("(y stable)" 21 22)
  ("(y down)" 22 48)
  ("(y stable)" 48 49)
  ("(y up)" 49 77)
  ("(y stable)" 77 83)
  ("(y down)" 83 122)
  ("(y stable)" 122 123)
  ("(y up)" 123 145)
  ("(y stable)" 145 147)
 ))
(20
 (
  ("(x 2)" 3 11)
  ("(x 3)" 11 16)
  ("(x 4)" 16 20)
  ("(x 5)" 20 27)
  ("(x 6)" 27 43)
  ("(x 5)" 43 49)
  ("(x 4)" 49 52)
  ("(x 3)" 52 56)
  ("(x 2)" 56 95)
  ("(x 1)" 95 112)
  ("(x 2)" 112 118)
  ("(x 3)" 118 122)
  ("(x 4)" 122 124)
  ("(x 5)" 124 127)
  ("(x 6)" 127 145)
  ("(x down)" 4 35)
  ("(x stable)" 35 36)
  ("(x up)" 36 65)
  ("(x stable)" 65 88)
  ("(x up)" 88 103)
  ("(x stable)" 103 105)
  ("(x down)" 105 142)
  ("(x stable)" 142 143)
  ("(x up)" 143 145)
  ("(y 2)" 3 12)
  ("(y 1)" 12 24)
  ("(y 2)" 24 35)
  ("(y 3)" 35 44)
  ("(y 4)" 44 49)
  ("(y 3)" 49 60)
  ("(y 2)" 60 95)
  ("(y 3)" 95 99)
  ("(y 4)" 99 102)
  ("(y 5)" 102 106)
  ("(y 6)" 106 145)
  ("(y up)" 4 19)
  ("(y down)" 19 46)
  ("(y stable)" 46 48)
  ("(y up)" 48 75)
  ("(y stable)" 75 87)
  ("(y down)" 87 122)
  ("(y stable)" 122 123)
  ("(y up)" 123 145)
 ))
(21
 (
  ("(x 2)" 3 10)
  ("(x 3)" 10 15)
  ("(x 4)" 15 20)
  ("(x 5)" 20 26)
  ("(x 6)" 26 44)
  ("(x 5)" 44 48)
  ("(x 4)" 48 52)
  ("(x 3)" 52 57)
  ("(x 2)" 57 90)
  ("(x 1)" 90 111)
  ("(x 2)" 111 116)
  ("(x 3)" 116 120)
  ("(x 4)" 120 123)
  ("(x 5)" 123 126)
  ("(x 6)" 126 145)
  ("(x down)" 4 35)
  ("(x stable)" 35 36)
  ("(x up)" 36 68)
  ("(x stable)" 68 84)
  ("(x up)" 84 101)
  ("(x stable)" 101 102)
  ("(x down)" 102 141)
  ("(x stable)" 141 145)
  ("(y 2)" 3 13)
  ("(y 1)" 13 25)
  ("(y 2)" 25 34)
  ("(y 3)" 34 58)
  ("(y 2)" 58 68)
  ("(y 1)" 68 86)
  ("(y 2)" 86 92)
  ("(y 3)" 92 96)
  ("(y 4)" 96 99)
  ("(y 5)" 99 103)
  ("(y 6)" 103 145)
  ("(y up)" 4 17)
  ("(y stable)" 17 22)
  ("(y down)" 22 45)
  ("(y stable)" 45 47)
  ("(y up)" 47 77)
  ("(y stable)" 77 82)
  ("(y down)" 82 117)
  ("(y stable)" 117 118)
  ("(y up)" 118 138)
  ("(y stable)" 138 145)
 ))
(22
 (
  ("(x 2)" 3 9)
  ("(x 3)" 9 15)
  ("(x 4)" 15 19)
  ("(x 5)" 19 23)
  ("(x 6)" 23 39)
  ("(x 5)" 39 44)
  ("(x 4)" 44 49)
  ("(x 3)" 49 53)
  ("(x 2)" 53 85)
  ("(x 1)" 85 104)
  ("(x 2)" 104 107)
  ("(x 3)" 107 110)
  ("(x 4)" 110 112)
  ("(x 5)" 112 116)
  ("(x 6)" 116 133)
  ("(x down)" 4 31)
  ("(x up)" 31 62)
  ("(x stable)" 62 80)
  ("(x up)" 80 95)
  ("(x down)" 95 128)
  ("(x stable)" 128 129)
  ("(x up)" 129 133)
  ("(y 2)" 3 10)
  ("(y 1)" 10 23)
  ("(y 2)" 23 32)
  ("(y 3)" 32 41)
  ("(y 4)" 41 45)
  ("(y 3)" 45 54)
  ("(y 2)" 54 69)
  ("(y 1)" 69 80)
  ("(y 2)" 80 86)
  ("(y 3)" 86 89)
  ("(y 4)" 89 92)
  ("(y 5)" 92 96)
  ("(y 6)" 96 133)
  ("(y up)" 4 17)
  ("(y stable)" 17 19)
  ("(y down)" 19 42)
  ("(y stable)" 42 44)
  ("(y up)" 44 75)
  ("(y stable)" 75 77)
  ("(y down)" 77 110)
  ("(y stable)" 110 112)
  ("(y up)" 112 133)
 ))
